; TEST-ARGS: -disallow-ub-exploitation
; SKIP-IDENTITY

define i8 @src() null_pointer_is_valid {
  unreachable
}

define i8 @tgt() null_pointer_is_valid {
  call void @llvm.trap()
  ret i8 0
}

declare void @llvm.trap()

; ERROR: Source has reachable unreachable
